Skip to content

[CGP] Fix missing sign extension for base offset in optimizeMemoryInst #909

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Oct 11, 2025
Merged

[CGP] Fix missing sign extension for base offset in optimizeMemoryInst #909

merged 1 commit into from
Oct 11, 2025

Conversation

@vladimirradosavljevic
Copy link
Contributor

@vladimirradosavljevic vladimirradosavljevic commented Sep 30, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Sep 30, 2025 

Results for: evm ir-llvm EVMInterpreter
╔═╡ Size (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

@github-actions
Copy link

github-actions bot commented Sep 30, 2025 

Results for: eravm ir-llvm zk_evm
╔═╡ Size (-%) ╞════════════╡ EVMInterpreter Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╠═╡ Cycles (-%) ╞══════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs/gas ╞═════════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ ADD                                          29.417 ║
║ MUL                                          17.650 ║
║ SUB                                          29.417 ║
║ DIV                                          20.050 ║
║ SDIV                                         38.050 ║
║ MOD                                          20.050 ║
║ SMOD                                         34.450 ║
║ ADDMOD                                       17.156 ║
║ MULMOD                                       17.156 ║
║ EXP                                           6.871 ║
║ SIGNEXTEND                                   20.050 ║
║ LT                                           33.417 ║
║ GT                                           33.417 ║
║ SLT                                          55.417 ║
║ SGT                                          55.417 ║
║ EQ                                           33.417 ║
║ ISZERO                                       29.083 ║
║ AND                                          29.417 ║
║ OR                                           29.417 ║
║ XOR                                          29.417 ║
║ NOT                                          25.083 ║
║ BYTE                                         39.417 ║
║ SHL                                          35.417 ║
║ SHR                                          35.417 ║
║ SAR                                          53.417 ║
║ SGT                                          55.417 ║
║ SHA3                                         22.212 ║
║ ADDRESS                                      43.625 ║
║ BALANCE                                      21.071 ║
║ ORIGIN                                      117.656 ║
║ CALLER                                       43.625 ║
║ CALLVALUE                                    43.625 ║
║ CALLDATALOAD                                 35.417 ║
║ CALLDATASIZE                                 44.125 ║
║ CALLDATACOPY                                 59.072 ║
║ CODESIZE                                     44.125 ║
║ CODECOPY                                     68.097 ║
║ GASPRICE                                    117.562 ║
║ EXTCODESIZE                                   1.293 ║
║ EXTCODECOPY                                   2.618 ║
║ RETURNDATASIZE                               46.500 ║
║ RETURNDATACOPY                               87.667 ║
║ EXTCODEHASH                                   4.351 ║
║ BLOCKHASH                                   238.119 ║
║ COINBASE                                    117.562 ║
║ TIMESTAMP                                   117.375 ║
║ NUMBER                                      117.375 ║
║ PREVRANDAO                                   44.125 ║
║ GASLIMIT                                    117.562 ║
║ CHAINID                                     117.188 ║
║ SELFBALANCE                                 636.375 ║
║ BASEFEE                                     117.375 ║
║ POP                                          41.125 ║
║ MLOAD                                        43.171 ║
║ MSTORE                                       54.752 ║
║ MSTORE8                                      64.206 ║
║ SLOAD                                        16.229 ║
║ SSTORE                                        3.944 ║
║ JUMP                                         14.333 ║
║ JUMPI                                        15.636 ║
║ PC                                           47.125 ║
║ MSIZE                                        47.625 ║
║ GAS                                          44.125 ║
║ JUMPDEST                                     63.250 ║
║ PUSH0                                        44.125 ║
║ PUSH1                                        36.500 ║
║ PUSH2                                        37.250 ║
║ PUSH4                                        38.750 ║
║ PUSH5                                        39.500 ║
║ PUSH6                                        40.250 ║
║ PUSH7                                        41.000 ║
║ PUSH8                                        41.750 ║
║ PUSH9                                        42.500 ║
║ PUSH10                                       43.250 ║
║ PUSH11                                       44.000 ║
║ PUSH12                                       44.750 ║
║ PUSH13                                       45.500 ║
║ PUSH14                                       46.250 ║
║ PUSH15                                       47.000 ║
║ PUSH16                                       47.750 ║
║ PUSH17                                       48.500 ║
║ PUSH18                                       49.250 ║
║ PUSH19                                       50.000 ║
║ PUSH20                                       50.750 ║
║ PUSH21                                       51.500 ║
║ PUSH22                                       52.250 ║
║ PUSH23                                       53.000 ║
║ PUSH24                                       53.750 ║
║ PUSH25                                       54.500 ║
║ PUSH26                                       55.250 ║
║ PUSH27                                       56.000 ║
║ PUSH28                                       56.750 ║
║ PUSH29                                       57.500 ║
║ PUSH30                                       58.250 ║
║ PUSH31                                       59.000 ║
║ PUSH32                                       59.750 ║
║ DUP1                                         31.417 ║
║ DUP2                                         37.750 ║
║ DUP3                                         37.750 ║
║ DUP4                                         37.750 ║
║ DUP5                                         37.750 ║
║ DUP6                                         37.750 ║
║ DUP7                                         37.750 ║
║ DUP8                                         37.750 ║
║ DUP9                                         37.750 ║
║ DUP10                                        37.750 ║
║ DUP11                                        37.750 ║
║ DUP12                                        37.750 ║
║ DUP13                                        37.750 ║
║ DUP14                                        37.750 ║
║ DUP15                                        37.750 ║
║ DUP16                                        37.750 ║
║ SWAP1                                        33.750 ║
║ SWAP2                                        33.750 ║
║ SWAP3                                        33.750 ║
║ SWAP4                                        33.750 ║
║ SWAP5                                        33.750 ║
║ SWAP6                                        33.750 ║
║ SWAP7                                        33.750 ║
║ SWAP8                                        33.750 ║
║ SWAP9                                        33.750 ║
║ SWAP10                                       33.750 ║
║ SWAP11                                       33.750 ║
║ SWAP12                                       33.750 ║
║ SWAP13                                       33.750 ║
║ SWAP14                                       33.750 ║
║ SWAP15                                       33.750 ║
║ SWAP16                                       33.750 ║
║ CALL                                          0.000 ║
║ STATICCALL                                    0.000 ║
║ DELEGATECALL                                  4.046 ║
║ CREATE                                        2.723 ║
║ CREATE2                                       3.838 ║
║ RETURN                                         -inf ║
║ REVERT                                         -inf ║
╠═╡ Ergs/gas (-%) ╞════════╡ EVMInterpreter Y +M3B3 ╞═╣
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════════╡ EVMInterpreter Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╠═╡ Cycles (-%) ╞══════════╡ EVMInterpreter Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════════╡ EVMInterpreter Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════════╡ EVMInterpreter Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All V +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All V +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════╡ Precompiles NoCodegen M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞══════╡ Precompiles NoCodegen M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════╡ Precompiles NoCodegen M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════╡ Precompiles NoCodegen M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════╡ Precompiles NoCodegen MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞══════╡ Precompiles NoCodegen MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════╡ Precompiles NoCodegen MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════╡ Precompiles NoCodegen MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life V +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life V +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

akiramenai
akiramenai reviewed Sep 30, 2025
View reviewed changes
@codecov
Copy link

codecov bot commented Sep 30, 2025 •
edited
Loading

Codecov Report

❌ Patch coverage is 33.33333% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 30.91%. Comparing base (fb452a4) to head (c8aed98).
⚠️ Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
llvm/lib/CodeGen/CodeGenPrepare.cpp 33.33% 2 Missing ⚠️
Additional details and impacted files 
@@           Coverage Diff           @@
##             main     #909   +/-   ##
=======================================
  Coverage   30.91%   30.91%           
=======================================
  Files        2430     2430           
  Lines      806276   806276           
  Branches   176487   176487           
=======================================
+ Hits       249278   249279    +1     
  Misses     513115   513115           
+ Partials    43883    43882    -1

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@github-actions
Copy link

github-actions bot commented Sep 30, 2025 •
edited
Loading

📊 Excel Report Available

Benchmarks measured for:

  • solx candidate version: solx, LLVM-based Solidity compiler for the EVM v0.1.3, LLVM revision: v1.0.2, LLVM build: c8aed98a224b71a9ac5d6f3208ba733f12df8d53
  • solx ToT version: solx, LLVM-based Solidity compiler for the EVM v0.1.3, LLVM revision: v1.0.2, LLVM build: fb452a4c7b7162f9b519bb09742cec3b223f6f61
  • solx latest release version: solx, LLVM-based Solidity compiler for the EVM v0.1.2, LLVM revision: v1.0.2, LLVM build: aec023355f43d8ece02249360ba84e749fb5cb3f
  • solc version: 0.8.30

➡️ Download Excel Report

@github-actions
Copy link

github-actions bot commented Oct 3, 2025 •
edited
Loading

📊 evm compiler-tester excel report

Benchmarks measured for:

  • target machine: evm
  • toolchain: ir-llvm
  • environment: REVM

➡️ Download Excel Report

@github-actions
Copy link

github-actions bot commented Oct 3, 2025 •
edited
Loading

📊 eravm compiler-tester excel report

Benchmarks measured for:

  • target machine: eravm
  • toolchain: ir-llvm
  • environment: zk_evm

➡️ Download Excel Report

@github-actions
Copy link

github-actions bot commented Oct 3, 2025 •
edited
Loading

Project Mode Compiled (solc / solx / Total) Passed (solc / solx / Total)
openzeppelin default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 382 / 382 / 382 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 328 / 328 / 330
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 382 / 382 / 382 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 328 / 328 / 330
lil-web3 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 68 / 68 / 68
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 66 / 68 / 68
maple-erc20 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 28 / 28 / 28 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 29 / 29 / 29
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 28 / 28 / 28 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 29 / 29 / 29
diamonds default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 17 / 17 / 17 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1 / 1 / 1
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 17 / 17 / 17 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1 / 1 / 1
rollcall default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 64 / 64 / 64 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 14 / 14 / 14
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 64 / 64 / 64 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 14 / 14 / 14
playpen default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 43 / 43 / 43 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 6 / 6 / 9
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 43 / 43 / 43 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 6 / 6 / 9
solmate default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 60 / 60 / 60 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 55 / 55 / 69
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 60 / 60 / 60 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 55 / 55 / 69
prb-math default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 106 / 106 / 106 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 323 / 323 / 323
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 106 / 106 / 106 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 323 / 323 / 323
solady default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 208 / 208 / 208 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1571 / 1571 / 1571
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 208 / 208 / 208 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1571 / 1571 / 1571
unix default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 21 / 21 / 21 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 2 / 2 / 3
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 21 / 21 / 21 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 2 / 0
foundry-upgrades default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 22 / 22 / 22 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 3 / 3 / 3
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 22 / 22 / 22 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 3 / 3 / 3
art-gobblers default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 56 / 56 / 56 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 127 / 127 / 127
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 56 / 56 / 56 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 121 / 121 / 127
lens-core default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 320 / 320 / 320 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 1876 / 0
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 320 / 320 / 320 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 1877 / 0
balance-snapshot default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 5 / 5 / 5
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 5 / 5 / 5
diamond-foundry default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 26 / 26 / 26 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 40 / 40 / 44
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 26 / 26 / 26 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 40 / 40 / 44
forge-std default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 50 / 50 / 50 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 0 / 0
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 50 / 50 / 50 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 0 / 0
tokenlon default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 121 / 121 / 121 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 53 / 53 / 67
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 121 / 121 / 121 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 53 / 53 / 67
uniswap-v4 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 160 / 160 / 160 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 598 / 598 / 598
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 160 / 160 / 160 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 598 / 598 / 598
beefy default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 164 / 164 / 164 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 2 / 2 / 34
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 164 / 164 / 164 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 2 / 2 / 34
gov-of-venice default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 25 / 25 / 25 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 25 / 25 / 26
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 25 / 25 / 25 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 24 / 25 / 26
cicada default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 23 / 23 / 23 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 546 / 0
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 23 / 23 / 23 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 546 / 0
lens-v3 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 240 / 240 / 240 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 662 / 662 / 663
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 240 / 240 / 240 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 662 / 0
morpho-blue default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 74 / 74 / 74 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 145 / 145 / 145
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 74 / 74 / 74 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 145 / 145 / 145
aave-v3 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 473 / 473 / 473 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 980 / 980 / 980
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 473 / 473 / 473 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 979 / 980 / 980

@github-actions
Copy link

github-actions bot commented Oct 3, 2025 •
edited
Loading

Project Mode Compile (solx/solc/Δs/Δ%) Run (solx/solc/Δs/Δ%) Size warnings (solx/solc)
openzeppelin default 14.11s / 18.38s / -4.28s / -23% 📉 2.62s / 3.04s / -0.42s / -14% 📉 2 / 3
viaIR 15.42s / 58.68s / -43.26s / -74% 📉 2.66s / 3.36s / -0.69s / -21% 📉 2 / 3
lil-web3 default 2.64s / 2.37s / +0.28s / +12% 📈 0.16s / 0.15s / +0.02s / +11% 📈 0 / 0
viaIR 2.19s / 10.31s / -8.12s / -79% 📉 0.16s / 0.15s / +0.01s / +3% ➖ 1 / 1
maple-erc20 default 2.20s / 1.82s / +0.39s / +21% 📈 0.19s / 0.19s / +0.00s / +2% ➖ 0 / 0
viaIR 1.84s / 4.95s / -3.10s / -63% 📉 0.19s / 0.20s / -0.01s / -3% ➖ 0 / 0
diamonds default 2.01s / 1.01s / +0.99s / +98% 📈 0.50s / 0.49s / +0.01s / +2% ➖ 0 / 0
viaIR 1.62s / 2.63s / -1.01s / -38% 📉 0.50s / 0.49s / +0.00s / +1% ➖ 0 / 0
rollcall default 2.79s / 2.80s / -0.02s / -1% ➖ 0.17s / 0.17s / +0.00s / +2% ➖ 0 / 2
viaIR 2.55s / 10.27s / -7.72s / -75% 📉 0.17s / 0.17s / -0.00s / -2% ➖ 1 / 2
playpen default 2.67s / 2.03s / +0.64s / +32% 📈 0.19s / 0.19s / -0.00s / -2% ➖ 0 / 6
viaIR 2.33s / 7.31s / -4.98s / -68% 📉 0.19s / 0.19s / +0.01s / +3% ➖ 0 / 6
solmate default 8.80s / 5.71s / +3.09s / +54% 📈 0.14s / 0.14s / +0.00s / +0% ➖ 2 / 7
viaIR 5.41s / 31.55s / -26.14s / -83% 📉 0.14s / 0.14s / +0.00s / +2% ➖ 4 / 9
prb-math default 6.32s / 7.18s / -0.86s / -12% 📉 0.21s / 0.21s / +0.01s / +2% ➖ 0 / 0
viaIR 7.90s / 30.95s / -23.05s / -74% 📉 0.22s / 0.20s / +0.02s / +9% 📈 0 / 0
solady default 21.23s / 26.50s / -5.27s / -20% 📉 0.72s / 0.72s / +0.00s / +1% ➖ 19 / 21
viaIR 20.66s / 166.76s / -146.11s / -88% 📉 0.72s / 0.73s / -0.01s / -1% ➖ 25 / 23
unix default 2.37s / 1.52s / +0.85s / +56% 📈 0.17s / 0.17s / -0.00s / -1% ➖ 0 / 1
viaIR 1.91s / 4.14s / -2.23s / -54% 📉 0.17s / 0.56s / -0.39s / -70% 📉 0 / 0
foundry-upgrades default 1.16s / 0.92s / +0.24s / +27% 📈 0.15s / 0.14s / +0.01s / +5% ➖ 0 / 0
viaIR 0.98s / 2.45s / -1.47s / -60% 📉 0.15s / 0.14s / +0.01s / +8% 📈 0 / 0
art-gobblers default 7.88s / 4.66s / +3.22s / +69% 📈 0.61s / 0.66s / -0.05s / -7% 📉 1 / 19
viaIR 5.91s / 22.34s / -16.43s / -74% 📉 0.59s / 0.67s / -0.07s / -11% 📉 1 / 22
lens-core default 100.51s / 10.75s / +89.76s / +835% 📈 3.79s / 13.39s / -9.59s / -72% 📉 85 / 0
viaIR 69.68s / 449.28s / -379.60s / -84% 📉 3.79s / 454.84s / -451.06s / -99% 📉 83 / 0
balance-snapshot default 2.04s / 0.89s / +1.16s / +130% 📈 0.13s / 0.12s / +0.00s / +2% ➖ 0 / 0
viaIR 1.70s / 2.62s / -0.92s / -35% 📉 0.13s / 0.12s / +0.01s / +6% 📈 0 / 0
diamond-foundry default 3.10s / 2.31s / +0.78s / +34% 📈 0.14s / 0.14s / +0.00s / +4% ➖ 0 / 1
viaIR 1.90s / 6.64s / -4.73s / -71% 📉 0.14s / 0.14s / +0.01s / +5% 📈 0 / 0
forge-std default 10.06s / 7.85s / +2.22s / +28% 📈 1.99s / 1.10s / +0.88s / +80% 📈 7 / 7
viaIR 7.03s / 36.46s / -29.42s / -81% 📉 1.22s / 12.43s / -11.21s / -90% 📉 8 / 8
tokenlon default 17.80s / 19.22s / -1.42s / -7% 📉 0.30s / 0.30s / -0.00s / -1% ➖ 10 / 26
viaIR 11.82s / 93.19s / -81.37s / -87% 📉 0.29s / 0.30s / -0.01s / -4% ➖ 12 / 28
uniswap-v4 default 21.75s / 18.06s / +3.69s / +20% 📈 2.70s / 2.67s / +0.04s / +1% ➖ 4 / 33
viaIR 15.79s / 97.83s / -82.04s / -84% 📉 2.67s / 2.67s / +0.00s / +0% ➖ 7 / 35
beefy default 17.28s / 22.10s / -4.82s / -22% 📉 0.65s / 0.65s / -0.00s / -0% ➖ 14 / 27
viaIR 14.80s / 115.35s / -100.55s / -87% 📉 0.66s / 0.65s / +0.01s / +1% ➖ 16 / 26
gov-of-venice default 5.38s / 3.81s / +1.57s / +41% 📈 0.49s / 0.57s / -0.08s / -14% 📉 2 / 10
viaIR 3.76s / 27.02s / -23.26s / -86% 📉 0.49s / 0.55s / -0.06s / -11% 📉 2 / 10
lens-v3 default 77.20s / 51.16s / +26.04s / +51% 📈 0.65s / 0.66s / -0.01s / -2% ➖ 32 / 60
viaIR 47.14s / 11.10s / +36.04s / +325% 📈 0.63s / 12.96s / -12.33s / -95% 📉 33 / 0
morpho-blue default 9.85s / 12.22s / -2.37s / -19% 📉 0.23s / 0.24s / -0.01s / -3% ➖ 6 / 34
viaIR 8.00s / 72.00s / -64.00s / -89% 📉 0.24s / 0.24s / +0.00s / +1% ➖ 9 / 33
aave-v3 default 210.74s / 112.51s / +98.23s / +87% 📈 1.64s / 1.68s / -0.04s / -2% ➖ 82 / 164
viaIR 120.56s / 864.67s / -744.11s / -86% 📉 1.61s / 1.63s / -0.01s / -1% ➖ 84 / 164

@vladimirradosavljevic
[CGP] Fix missing sign extension for base offset in optimizeMemoryIns…
c8aed98 
…t (#161377)

If we have integers larger than 64-bit we need to explicitly sign extend
them, otherwise we will get wrong zero extended values.
@akiramenai akiramenai merged commit 38bed48 into main Oct 11, 2025
43 of 44 checks passed
@akiramenai akiramenai deleted the cgp_fix_missing_signextend branch October 11, 2025 13:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@akiramenai akiramenai akiramenai approved these changes

@PavelKopyl PavelKopyl Awaiting requested review from PavelKopyl

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@vladimirradosavljevic @akiramenai